On the Amalgamation Property for Various Algebraic Logics
نویسندگان
چکیده
We show that a natural class of representable algebras (of logic) has the super amalgamation property. Applications of this results are given. In particular, questions originally posed by Tarski, Henkin, Monk and Pigozzi are answered. Several techniques for failure of various forms of the amalgamation property are appropriately modified, proving new results. Answers to open questions in the recent paper [18] are summarized in tabular form at the end of the paper. Mathematics Subject Classification: Primary 03G15. Secondary 03C05, 03C40
منابع مشابه
Maksimova ON VARIABLE SEPARATION IN MODAL LOGICS
It was proved in [4] that interpolation properties of propositional normal modal logics (n.m.l.) are closely connected with amalgamation properties of associated varieties of modal algebras. In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any n.m.l. is equivalent to the so-called Super-Embedding Property of...
متن کاملInterrelation of Algebraic, Semantical and Logical Properties for Superintuitionistic and Modal Logics
We consider the families L of propositional superintuitionistic logics (s.i.l.) andNE(K) of normal modal logics (n.m.l.). It is well known that there is a duality between L and the lattice of varieties of pseudo-boolean algebras (or Heyting algebras), and also NE(K) is dually isomorphic to the lattice of varieties of modal algebras. Many important properties of logics, for instance, Craig’s int...
متن کاملInterpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
This paper develops a comprehensive study of various types of interpolation properties and Beth definability properties for substructural logics, and their algebraic characterizations through amalgamation properties and epimorphisms surjectivity. In general, substructural logics are algebraizable but lack many of the basic logical properties that modal and superintuitionistic logics enjoy (cf. ...
متن کاملSemisimplicity, Amalgamation Property and Finite Embeddability Property of Residuated Lattices
In this thesis, we study semisimplicity, amalgamation property and finite embeddability property of residuated lattices. We prove semisimplicity and amalgamation property of residuated lattices which are of purely algebraic character, by using proof-theoretic methods and results of substructural logics. On the other hand, we show the finite model property (FMP) for various substructural logics,...
متن کاملProof Theory and Algebra in Substructural Logics
It is quite well understood that propositional logics are tightly connected to ordered algebras via algebraic completeness, and because of this connection proof theory is often useful in the algebraic context too. A prominent example is that one deductively proves the interpolation theorem for a given logic in order to derive the algebraic amalgamation property for the corresponding variety as ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008